{
double _4,_5,_15,_7,_8,_32,_29,_30,_33,_36,_38,_39,_41,_55,_57,_63,_65,_71,_73,_56,_58,_59,_60,_61,_62,_64,_66,_67,_68,_69,_70,_72,_74,_75,_76,_77,_78,_79,_81,_82,_83,_84,_85,_86,_87,_88,_89,_90,_91,_92,_93,_94,_95,_96,_97,_98,_99;

_4 = -y[1];
_5 = y[0] + _4;
_15 = -y[0];
_7 = -z[1];
_8 = z[0] + _7;
_32 = -z[0];
_29 = -z[2];
_30 = z[1] + _29;
_33 = _32 + z[2];
_36 = _32 + z[1];
_38 = -z[3];
_39 = z[0] + _38;
_41 = _7 + z[3];
_55 = x[1]*y[0];
_57 = -(x[0]*y[1]);
_63 = x[1]*z[0];
_65 = -(x[0]*z[1]);
_71 = y[1]*z[0];
_73 = -(y[0]*z[1]);
_56 = -(x[2]*y[0]);
_58 = x[2]*y[1];
_59 = x[0]*y[2];
_60 = -(x[1]*y[2]);
_61 = _55 + _56 + _57 + _58 + _59 + _60;
_62 = Squared(_61);
_64 = -(x[2]*z[0]);
_66 = x[2]*z[1];
_67 = x[0]*z[2];
_68 = -(x[1]*z[2]);
_69 = _63 + _64 + _65 + _66 + _67 + _68;
_70 = Squared(_69);
_72 = -(y[2]*z[0]);
_74 = y[2]*z[1];
_75 = y[0]*z[2];
_76 = -(y[1]*z[2]);
_77 = _71 + _72 + _73 + _74 + _75 + _76;
_78 = Squared(_77);
_79 = _62 + _70 + _78;
_81 = -(x[3]*y[0]);
_82 = x[3]*y[1];
_83 = x[0]*y[3];
_84 = -(x[1]*y[3]);
_85 = _55 + _81 + _57 + _82 + _83 + _84;
_86 = Squared(_85);
_87 = -(x[3]*z[0]);
_88 = x[3]*z[1];
_89 = x[0]*z[3];
_90 = -(x[1]*z[3]);
_91 = _63 + _87 + _65 + _88 + _89 + _90;
_92 = Squared(_91);
_93 = -(y[3]*z[0]);
_94 = y[3]*z[1];
_95 = y[0]*z[3];
_96 = -(y[1]*z[3]);
_97 = _71 + _93 + _73 + _94 + _95 + _96;
_98 = Squared(_97);
_99 = _86 + _92 + _98;
energy = (6*(Squared(x[0] - x[1]) + Squared(_5) + Squared(_8))*(1 - ((x[2]*_5 + x[0]*(y[1] - y[2]) + x[1]*(_15 + y[2]))*(x[3]*(_15 + y[1]) + x[1]*(y[0] - y[3]) + x[0]*(_4 + y[3])) + (x[2]*_8 + x[0]*_30 + x[1]*_33)*(x[3]*_36 + x[1]*_39 + x[0]*_41) + (y[2]*_8 + y[0]*_30 + y[1]*_33)*(y[3]*_36 + y[1]*_39 + y[0]*_41))/(Sqrt(_79)*Sqrt(_99))))/(Sqrt(_79) + Sqrt(_99));
}
